Group is
    ../timeit.sml
    terms.sml
    rules.sml
    boyer.sml
